Abstract Interpretation in the Operational Semantics Hierarchy
نویسنده
چکیده
Interpretation in the Operational Semantics Hierarchy
منابع مشابه
Transforming semantics by abstract interpretation
In 1997, Cousot introduced a hierarchy where semantics are related with each other by abstract interpretation. In this field we consider the standard abstract domain transformers, devoted to refine abstract domains in order to include attribute independent and relational information, respectively the reduced product and power of abstract domains, as domain operations to systematically design an...
متن کاملConstructive design of a hierarchy of semantics of a transition system by abstract interpretation
We construct a hierarchy of semantics by successive abstract interpretations. Starting from the maximal trace semantics of a transition system, we derive the big-step semantics, termination and nontermination semantics, Plotkin’s natural, Smyth’s demoniac and Hoare’s angelic relational semantics and equivalent nondeterministic denotational semantics (with alternative powerdomains to the Egli-Mi...
متن کاملA New Operational Semantics for Prolog
The majority of abstract interpretation models defined for Prolog use abstract operations which do not have explicit counterpart in the SLD-resolution. We propose, in this paper, an operational semantics closely related to these models. We prove his equivalence with the SLDresolution and then we use it to prove the consistency of one of abstract semantics presents in [7, 8, 9]. Key-words: Logiq...
متن کاملOptimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
In this paper we apply abstract interpretation to systematically derive, compose and compare semantics according to their expressive power. The main results are: (1) a deenition of a hierarchy of collecting semantics , including well known semantics for logic programs, where semantics can be related to each other by abstract interpretation; (2) a characterization of collecting and abstract sema...
متن کاملA Hierarchy of Semantics for Normal
The diierent properties characterizing the operational behavior of logic programs can be organized in a hierarchy of xpoint semantics related by Galois insertions, having the least Herbrand model as most abstract semantics, and the SLD operational semantics as most concrete semantics. The choice of a semantics in the hierarchy allows to model precisely the program properties of interest while g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997